1. Program analysis and compilation, theory and practice
Author: / Thomas Reps, Mooly Sagiv, J?�rg Bauer (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Wilhelm, R.--(Reinhard),--1946,Computer programs--Verification--Congresses,Compilers (Computer programs)--Congresses,Computer programming--Congresses
Classification :
QA
,
76
.
76
,.
V47
,
P745
,
2007
2. Program analysis and compilation, theory and practice
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: ; Computer programs ; Verification ; Congresses. ; Compilers (Computer programs) ; Congresses. ; Computer programming ; Congresses. ; -Wilhelm, R. ; (Reinhard), ; 1946
3. Program analysis and compilation, theory and practice :
Author: Thomas Reps, Mooly Sagiv, Jörg Bauer (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Wilhelm, R., (Reinhard),1946-,Wilhelm, R., (Reinhard),1946-,Wilhelm, R.,1946-,Compilers (Computer programs), Congresses.,Computer programming, Congresses.,Computer programs-- Verification, Congresses.,Compilers (Computer programs),Compilers (Computer programs),Computer programming.,Computer programming.,Computer programs-- Verification.,Computer programs-- Verification.,COMPUTERS-- Software Development & Engineering-- Quality Assurance & Testing.,Informatique.
Classification :
QA76
.
76
.
V47
P745
2007
